i := 6;
s := 0;
while i do s := s + i; i := i-1 od
